Dresden

Results: 4278



#Item
191

Projection and Scope-Determined Circumscription Christoph Wernhard Technische Universit¨ at Dresden, Germany

Add to Reading List

Source URL: cs.christophwernhard.com

- Date: 2012-01-09 15:29:47
    192

    SUCCESS STORY  |  DRESDEN UNIVERSITY OF TECHNOLOGY ADVANCING NEW DISCOVERIES WITH A GPU-POWERED SUPERCOMPUTER

    Add to Reading List

    Source URL: images.nvidia.com

    - Date: 2015-12-14 00:34:29
      193

      TOWARDS PLANNING AS CONCURRENCY Ozan Kahramano˘gulları Computer Science Institute, University of Leipzig International Center for Computational Logic, TU Dresden email: ABSTRACT

      Add to Reading List

      Source URL: www.wv.inf.tu-dresden.de

      - Date: 2012-07-05 04:11:43
        194

        DROPS OS Support for Distributed Multimedia Applications Hermann H¨artig Michael Hohmuth Robert Baumgartl

        Add to Reading List

        Source URL: os.inf.tu-dresden.de

        - Date: 2002-01-04 05:56:43
          195

          Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics Christoph Wernhard Technische Universit¨ at Dresden

          Add to Reading List

          Source URL: cs.christophwernhard.com

          - Date: 2013-04-05 11:51:04
            196

            PDF Document

            Add to Reading List

            Source URL: www.ki.inf.tu-dresden.de

            - Date: 2006-03-26 13:39:36
              197

              Das Salz in der Suppe von Michael Winkler () Dresden, MärzWenn man komplizierte Dinge vereinfachen will, dann sind Vergleiche aus dem Alltag immer ganz gut. Sie mögen

              Add to Reading List

              Source URL: alg-dresden.de

              - Date: 2008-04-09 18:38:50
                198

                Statically Checking Confidentiality of Shared-Memory Programs with Dynamic Labels Marcus V¨olp Technische Universit¨at Dresden Department of Computer ScienceDresden, Germany

                Add to Reading List

                Source URL: os.inf.tu-dresden.de

                - Date: 2008-04-10 10:46:21
                  199

                  A Purely Logical Account of Sequentiality in Proof Search Paola Bruscoli Technische Universit¨at Dresden Fakult¨ at InformatikDresden - Germany

                  Add to Reading List

                  Source URL: www.ki.inf.tu-dresden.de

                  - Date: 2006-03-26 13:44:36
                    200

                    Warum Sachsen? Rechte Terrorgruppen und ihre Basis im Bundesland. Alternatives Wohnen in Dresden. Mehr als ein Opfer rechter Angriffe und Bedrohungen.

                    Add to Reading List

                    Source URL: www.kulturbuero-sachsen.de

                    - Date: 2016-10-29 03:25:09
                      UPDATE